pumping over - German English Dictionary